IAbGrp{i}  Type{i'} 

latex

Up	groups 1
Definitions of Statement	IMonoid, IGroup, IAbGrp{i}
Definitions	IAbGrp{i}, t  T, IMonoid, , x:A. B(x), IGroup
Lemmas	grp op wf, grp car wf, comm wf, igrp wf